English Computing Dictionary
◊ CLOSED TERM
closed term
A term with no {free variable}s.
(1994-12-16)